Universal quantifier
記号:
$ \forall
すべての・任意の を意味する
例:
$ \forall x: P(x)
: 全ての
$ x
について、
$ P(x)
が成り立つ